Un Co Rr Ec Te D Pr Oo F Tcs 5003 Article in Press
نویسنده
چکیده
I argue that uncomputable formal problems are intuitively, mathematically, and methodologi9 cally analogous to empirical problems in which Hume’s problem of induction arises. In particular, I show that a version of Ockham’s razor (a preference for simple answers) is advantageous in 11 both domains when infallible inference is infeasible. A familiar response to the empirical problem of induction is to conceive of empirical inquiry as an unending process that converges to the truth 13 without halting or announcing for sure when the truth has been reached. On the strength of the analogies developed, I recommend the adoption of a similar perspective on uncomputable formal 15 problems. One obtains, thereby, a well-de ned notion of “hyper-computability” based entirely on classical computational models and on standards of success that have long been regarded as 17 natural in the empirical domain. c © 2003 Published by Elsevier B.V. 19
منابع مشابه
UN CO RR EC TE D PR OO F 1 Motivational priming and processing interrupt : Startle re fl ex modulation during
8 Article history: 9 Received 7 September 2009 10 Received in revised form 10 February 2010 11 Accepted 11 February 2010 12 Available online xxxx 1345 16
متن کاملUN CO RR EC TE D PR OO F A 24 - bp duplication in exon 10 of human chitotriosidase gene from the sub - Saharan to the Mediterranean area : role of parasitic diseases and environmental conditions
L Malaguarnera, J Simporè, DA Prodi, A Angius, A Sassu, I Persico, R Barone and S Musumeci Department of Biomedical Sciences, University of Catania, Italy; Centre Medical San Camille, Ouagdougou, Burkina Faso, Italy; Institute of Population Genetics, CNR, Alghero, Italy; Institute of Neurological Sciences, Catania Section, CNR, Cosenza, Italy; Department of Pharmacology, Gynecology/Obstetrics, ...
متن کاملUn Co Rr Ec Te D Pr Oo F 1 Physical and Economic Sustainability of Water : New 2 Approach Using the Case of the Big Lost River , Idaho 3
3 AHMED SAID*, DAVID K. STEVENS and GERALD SEHLKE 4 Department of Civil and Environmental Engineering, University of South Florida, Tampa, FL, USA; 5 2 Civil and Environmental Engineering Department, Utah State University, Logan, UT, USA; 6 3 Integrated Environmental Analysis Department, Idaho National Engineering and Environmental 7 Laboratory, Idaho Falls, Idaho, USA 8 (*author for correspond...
متن کاملMetadata of the chapter that will be visualized online
This paper presents majorization results for PH-generators. Based on the majorization results, bounds on the moments and Laplace-Stieltjes transforms of phase-type distributions are found. Exponential distributions and Coxian distributions are identified to be extremal PH-distributions with respect to all the moments and Laplace-Stieltjes transforms for certain subsets of PH-distributions. UN C...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990